测试用例

线程数/中断数

不使用DPOR算法

使用DPOR算法

执行迁移数

执行时间

执行迁移数

执行时间

ARM1

2/2

1193 k

472 s

236 k

89 s

ARM2

3/2

2764 k

993 s

501 k

294 s

ARM3

4/3

8769 k

/

1152 k

9578 s

PPC1

2/2

241 k

4156 s

45 k

93 s

PPC2

4/4

/

/

82 k

860 s

PPC3

6/5

/

/

157 k

7985 s